$\forall$$L$:(Top List). filter($\lambda$$x$.tt;$L$) $\sim$ $L$